Specifying Dynamic Software Architectures for Distributed Systems

نویسندگان

  • Hongzhen Xu
  • Guosun Zeng
  • Bo Chen
چکیده

Open and dynamic characteristics of distributed software systems make user requirements and hardware resources change more rapidly, which make their evolution or reconfiguration inevitable, especially during their execution. A critical issue for those distributed systems is the specifying and analysis dynamic reconfiguration process of their architectures. In this paper, we proposed a method of specifying dynamic software architectures for distributed systems. Based on hypergraph, reconfiguration production rules and operations, we can specify dynamic reconfiguration of software architectures for distributed systems. The paper also includes an example which shows how our approach can be applied to specify modeling of dynamic evolving distributed software architectures.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Specifying Dynamic Software Architectures by Using Membrane Systems

We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from the structure and the functioning of living cells. The dynamics (the evolution) of the overall architecture is defined by rules that modify the contents (data) and structure of the membrane system. The evolution of the membrane system can be st...

متن کامل

Description and Verification of Dynamic Software Architectures for Distributed Systems

Continuing growth and increasing complexity of distributed software systems make them be more flexible, adaptive and easily extensible. Dynamic evolution or reconfiguration of distributed software systems is one possible solution to meet these demands. However, there are some challenges for building dynamically evolving distributed software systems at runtime, where dynamic software architectur...

متن کامل

Specifying Distributed Software Architectures

There is a real need for clear and sound design speci cations of distributed systems at the architectural level. This is the level of the design which deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin is in essence a declarative binding language ...

متن کامل

Specifying Dynamic Software Architectures with Dynamic Description Logic

Dynamic software architectures provide support for building long running and reconfigurable applications. Formal specification is useful to the design of correct and robust dynamic software architectures. In this paper, dynamic software architectures are specified with dynamic description logic. Dynamic description logic inherits the expressiveness and decidability of description logic and it h...

متن کامل

Static and Dynamic Visualisation of Software Architectures for Component-based Systems

Component-based software architectures are increasingly being adopted as solutions for various software engineering problems. We describe a component-based software architecture and its supporting CASE tool we have been developing. Our tool supports both static and dynamic visualisation of component-based systems, together with end-user configuration of such systems by user extension of these v...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009